(set polymorphicIdentity (lambda (A (Universe 0)) (lambda (x A) x)))
(set unitIdentity (polymorphicIdentity Unit)) ; polimorficzna funkcja identycznościowa zaaplikowana do typu jednostkowego
(unitIdentity tt)